终身成就奖

何新贵

中国人民解放军军事科学院系统工程研究院系统总体研究所研究员 CCF会士,中国工程院院士

何新贵院士长期从事计算机软件、人工智能的理论研究和工程实践,在编译、数据库、模糊逻辑、最优化处理和军用软件等领域做出了突出贡献,促进了我国数据库、人工智能和软件工程技术发展和应用。CCF奖励委员会决定将2018年“CCF终身成就奖”授予他,以表彰他的成就和贡献。

周巢尘

中国科学院软件研究所研究员,CCF会士,中国科学院院士

周巢尘院士,我国分布式程序设计理论研究的先驱者和开拓者之一。他与国际同行合作提出时段演算,为实时系统的形式化设计和验证做出了开创性的工作,在该领域产生了重大影响。CCF奖励委员会决定将2018年“CCF终身成就奖”授予他,以表彰他的成就和贡献。